Semenov A. A., Zaikin O.S., Otpuschennikov I. V. «Estimations of cryptographic resistance of ciphers in the trivium family to sat-based cryptanalysis» // Applied Discrete Mathematics. Supplement 2016. №9 C.46-48
Semenov A. A., Otpuschennikov I. V., Zaikin O. S. «Propositional encoding of direct and inverse round transformations in attacks on some block ciphers» // Applied Discrete Mathematics. Supplement 2018. №11 C.76-79
Semenov A. A. «Guess-and-determine attacks and automatic methods for their construction» // Applied Discrete Mathematics. Supplement 2018. №11 C.81-86
Rybalov A. N. «On generic NP-completeness of the problem of Boolean circuits satisfiability» // Applied Discrete Mathematics 2020. №47 C.101-107
Rybalov A. N. «On generic NP-completeness of the Boolean satisfiability problem» // Applied Discrete Mathematics 2017. №36 C.106-112
Gribanova I. A. «Application of solving sat algorithms to constructing differential paths for finding collisions of cryptographic hash functions in the MD family» // Applied Discrete Mathematics. Supplement 2016. №9 C.129-132
Otpuschennikov I. V., Bogachkova I. A., Zaikin O.S., Semenov A. A., Kochemazov S.E. «Application of algorithms solving sat problem to cryptanalysis of hash functions of MD family» // Applied Discrete Mathematics. Supplement 2015. №8 C.139-142
